1. After Godel : Platonism and rationalism in mathematics and logic
المؤلف: Tieszen, Richard L.
المکتبة: (طهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
2. An introduction to Godel's Theorems
المؤلف: Smith, Peter, 5391-
المکتبة: (طهران)
موضوع: ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
3. Interpreting Godel : critical essays
المؤلف: edited by Juliette Kennedy
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
